Baire property and axiom of choice

Baire Property and Axiom of Choice

The Hahn-Banach Property and the Axiom of Choice

We work in the set theory without the axiom of choice: ZF. Though the Hahn-Banach theorem cannot be proved in ZF, we prove that every Gâteauxdifferentiable uniformly convex Banach space E satisfies the following continuous Hahn-Banach property: if p is a continuous sublinear functional on E, if F is a subspace of E, and if f : F → R is a linear functional such that f ≤ p|F , then there exists a...

Products , the Baire category theorem , and the axiom of dependent choice

In ZF (i.e., Zermelo-Fraenkel set theory without the Axiom of Choice) the following statements are shown to be equivalent: (1) The axiom of dependent choice. (2) Products of compact Hausdorff spaces are Baire. (3) Products of pseudocompact spaces are Baire. (4) Products of countably compact, regular spaces are Baire. (5) Products of regular-closed spaces are Baire. (6) Products of Čech-complete...

The Axiom of Choice

We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show that cohomology, when defined so that its usual exactness properties hold even in the absence of the axiom of choice, is adequate for detecting failures of this axiom in the following sense. If a set X...

The Axiom of Choice

We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show that cohomology, when defined so that its usual exactness properties hold even in the absence of the axiom of choice, is adequate for detecting failures of this axiom in the following sense. If a set X...